The Word Problem in Semiconcept Algebras
نویسنده
چکیده
The aim of this article is to prove that the word problem in semiconcept algebras is PSPACE-complete.
منابع مشابه
Relational Constructions on Semiconcept Graphs
The aim of the paper is to develop a logic of relations on semiconcept graphs corresponding to the Contextual Logic of Relations on power context families. Semiconcept graphs allow the representation of negations. The operations from Peircean Algebraic Logic (i.e., the operations of relation algebras of power context families) are used to generate compound semiconcepts (or relations, resp.). Fo...
متن کاملArens Regularity and Weak Amenability of Certain Matrix Algebras
Motivated by an Arens regularity problem, we introduce the concepts of matrix Banach space and matrix Banach algebra. The notion of matrix normed space in the sense of Ruan is a special case of our matrix normed system. A matrix Banach algebra is a matrix Banach space with a completely contractive multiplication. We study the structure of matrix Banach spaces and matrix Banach algebras. Then we...
متن کاملBounds for the dimension of the $c$-nilpotent multiplier of a pair of Lie algebras
In this paper, we study the Neumann boundary value problem of a class of nonlinear divergence type diffusion equations. By a priori estimates, difference and variation techniques, we establish the existence and uniqueness of weak solutions of this problem.
متن کاملFrames in right ideals of $C^*$-algebras
we investigate the problem of the existence of a frame forright ideals of a C*-algebra A, without the use of the Kasparov stabilizationtheorem. We show that this property can not characterize A as a C*-algebraof compact operators.
متن کاملOn semi maximal filters in BL-algebras
In this paper, first we study the semi maximal filters in linear $BL$-algebras and we prove that any semi maximal filter is a primary filter. Then, we investigate the radical of semi maximal filters in $BL$-algebras. Moreover, we determine the relationship between this filters and other types of filters in $BL$-algebras and G"{o} del algebra. Specially, we prove that in a G"{o}del algebra, any ...
متن کامل